Revised the notation used to define DDMINFLOAT since the previous was wrapping around.
View differences
Revised the notation used to define DDMINFLOAT since the previous was wrapping around.