Mini proposal: rename float.min to float.min_normal

[#ponce]

I agree, when i had to type float.min i was confused it it was the smallest subnormal or smallest normal float