42 : Nat
-42 : Int
-42.0 : Float
-42.000000
-42.000000
-42.000000