Make FloatTy checks exhaustive in pretty print
#127224
+18
−16
Merged