Nativeint_u.Oval box : Base.nativeint -> Base.nativeintval unbox : Base.nativeint -> Base.nativeintComparisons.InfixThere are two pairs of integer division and remainder functions, /% and %, and / and rem. They both satisfy the same equation relating the quotient and the remainder:
x = (x /% y * y) + (x % y);
x = (x / y * y) + rem x yThe functions return the same values if x and y are positive. They all raise if y = 0.
The functions differ if x < 0 or y < 0.
If y < 0, then % and /% raise, whereas / and rem do not.
x % y always returns a value between 0 and y - 1, even when x < 0. On the other hand, rem x y returns a negative value if and only if x < 0; that value satisfies abs (rem x y) <= abs y - 1.
val (//) : t -> t -> Base.floatFloat division of integers.
Returns the absolute value of the argument. May be negative if the input is min_value.