Issue 10439 - Deprecate float.min, double.min, real.min

These have been a warning for over a year, time to move to deprecated.

https://d.puremagic.com/issues/show_bug.cgi?id=10439