Eliminate intermediate overflow for encodeFloat, fixes #5524
drwxr-xr-x - libraries