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 <[email protected]>: > 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<[email protected]>: >>> >>> Shouldn't (* 0.0 0) evaluate to 0.0? >>> >>> -- >>> José António Branquinho de Oliveira Lopes >>> 58612 - MEIC-A >>> [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
