[racket-dev] (round), etc. in Typed Racket

I was not thinking of unsafe operations.
Jos 

> -----Original Message-----
> From: Vincent St-Amour [mailto:stamourv at ccs.neu.edu] 
> Sent: 13 December 2010 18:11
> To: Jos Koot
> Cc: 'Vincent St-Amour'; 'Noel Welsh'; dev at racket-lang.org
> Subject: Re: [racket-dev] (round), etc. in Typed Racket
> 
> At Mon, 13 Dec 2010 17:29:11 +0100,
> Jos Koot wrote:
> > When multiplying any number (nan and inf excepted) by exact 
> 0, should, 
> > of course produce exact 0.
> 
> If you're multiplying an integer that may or may not be zero (say, an
> index) by a float, you cannot assume that the result is a 
> float, even though in all cases but one, it will be. If 
> you're using unsafe operations for performance reasons, this 
> can break if you're not entirely careful.
> 
> Vincent