[Bug 39308] thdf.exe : outputting floats returns 0