math

Author: jpolitz

src/builtin/numbers.scrbl

@@ -487,7 +487,7 @@ end
 check:
   8 / 2 is 4
   8/3 / 2 is 4/3
-  0.3 / 10 is 0.3
+  0.3 / 10 is 0.03
 end
 }
 }