Exactness isn't about type promotion, though. 0.0 represents "close to zero"; 0 represents "exactly zero". If you multiply close to zero by exactly zero, you get exactly zero. If you add close to zero to exactly zero, you get close to zero.
Carl Eastlund 2011/2/13 José Lopes <jose.lo...@ist.utl.pt>: > I understand. However, not only that disregards type promotion but also is > incoherent since (+ 0 0.0) evaluates to 0.0. > > On 13-02-2011 16:17, Robby Findler wrote: >> >> I believe one of the rules is that multiplying exact 0 by any number >> gives you back exact 0. >> >> Robby >> >> 2011/2/13 José Lopes<jose.lo...@ist.utl.pt>: >>> >>> Shouldn't (* 0.0 0) evaluate to 0.0? >>> >>> -- >>> José António Branquinho de Oliveira Lopes >>> 58612 - MEIC-A >>> jose.lo...@ist.utl.pt _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
