[racket-dev] Sublinear functions of superfloat numbers

At Sun, 1 Jul 2012 20:10:30 -0400,
Matthias Felleisen wrote:
> I had misunderstood. I thought you had suggested 'reduction of
> strength' (say going from square to * or double to +), which is a
> generally useful compiler optimization. What you suggest is some form of
> conditional version of this.

Argument reduction extends the domain of functions to work on arguments
that they can't handle directly (e.g. because they're too big to be
represented as floats). It's not an optimization.

Vincent