IEEE floating point algorithm