Mini proposal: rename float.min to float.min_normal

[Andrei Alexandrescu]

Don wrote:
> This is another small imperfection we should get rid of.
> The floating point types have a property called ".min", but unlike the 
> integer ".min", it's not the minimum!

I've always hated that with a passion. Yes Don, great initiative. Let's 
change that crap once and for all. I'd consider using minNormal, but you 
make a good point that _ is already present.

++vote for patching. There are a couple of places in Phobos that need 
changing, I can operate them.


Andrei