(assert FloatingPoint