Utilities for dealing with IEEE floating point numbers
