Fixing an old very annoying bug where floating point number 0x0 was interpreted as 2.22507e-308 rather than 0.0. Thanks to Maya Rashish (coypu@...) for reproting the bug.
Authored by: debug 2018-11-22
Parent: [r6121]
Child: [r6123]