fix Issue 10439 - Deprecate float.min, double.min, real.min
Merge pull request #4057 from 9rnsr/fix10439

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