Fixed mistake where MinNum was used systematically as least possible real, instead of -MaxNum
Authored by: glorfin 2014-06-05
Parent: [r39]
Child: [r41]
