[racket] Multiplying by 0

On Mon, Feb 14, 2011 at 5:01 PM, Joe Marshall <jmarshall at alum.mit.edu> wrote:
> My point was that inexactness leads to a lot of nasty incoherence.
>
> But in the spirit of asking naive questions...
>
> On Mon, Feb 14, 2011 at 12:14 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
>> No, it's not a bug.  Since 1e100 is an inexact number, there's
>> uncertainty about the minimum of those two numbers,
>
> So could a conforming implementation return 1e100 as the answer?
> (min 0 1e100) => 1e100

Conforming to what?  Racket conforms to the Racket docs, which
requires 0.0 as the answer.  The R6RS spec is not totally clear on
this point, but I don't think it allows that.
-- 
sam th
samth at ccs.neu.edu