Fix float->int symbols

- Old win32 hacks for ftol seems to be no longer necessary.
- Similar hacks for linux32 is still necessary.
- Added tests and reveal float32->uint64 bug on linux32.