Change 'Number.maxInt'and 'Number.minInt' back to off-by-one

Author: ssoelvsten

lib/Number.trp

@@ -1,13 +1,13 @@
 (** In Troupe, there is not per-se an `int` type. Rather, there is a `number` and some integral
  *  operations on them which treats them as if they were 32 bit signed integers. *)
 
-let (** Largest (safe) possible integral value. Anything larger than this cannot represent an
+let (** Largest (safe) possible integral value. Anything larger than +1 of this cannot represent an
      *  increment of 1.
      *
      * NOTE: Value copied from the JavaScript documentation for `Number.MAX_SAFE_INTEGER`. *)
-    val maxInt = 9007199254740992
+    val maxInt = 9007199254740991
 
-    (** Smallest (safe) possible integral value. Anything smaller than this cannot represent an
+    (** Smallest (safe) possible integral value. Anything smaller than -1 this cannot represent an
      *  increment of 1. *)
     val minInt = -maxInt
 

tests/lib/Number.trp

@@ -3,8 +3,10 @@ import Number
 
 let val tests = Unit.group "Number" [
             Unit.group "maxInt / minInt" [
-                Unit.it "maxInt++ = maxInt" (Unit.isEq Number.maxInt (Number.maxInt + 1))
-              , Unit.it "minInt-- = minInt" (Unit.isEq Number.minInt (Number.minInt - 1))
+                Unit.it "maxInt++ != maxInt"   (Unit.isNeq Number.maxInt (Number.maxInt + 1))
+              , Unit.it "minInt-- != minInt"   (Unit.isNeq Number.minInt (Number.minInt - 1))
+              , Unit.it "maxInt+2 == maxInt+1" (Unit.isEq (Number.maxInt + 1) (Number.maxInt + 2))
+              , Unit.it "minInt-2 == minInt+1" (Unit.isEq (Number.minInt - 1) (Number.minInt - 2))
             ],
             Unit.group "abs" [
                 Unit.it "keeps 0 as is"    (Unit.isEq 0 (Number.abs 0))