fact floating point number fix