Floating point verification