floating point checker