SF bug #444510: int() should guarantee truncation.

It's guaranteed now, assuming the platform modf() works correctly.