Don't depend on platform floating point support.