Re: Mini proposal: rename float.min to float.min_normal

[Don]

Jeremie Pelletier wrote:
I agree, its a good change! I would also change float.min to be an alias 
of -float.max.

Unfortunately, we can't do that yet, it would silently change the 
meaning of existing code. Hopefully it can be done eventually.