Patched floating points