IEEE floating point utility functions