Integer package:basic-prelude

Invariant: Jn# and Jp# are used iff value doesn't fit in S# Useful properties resulting from the invariants:
  • abs (S# _) <= abs (Jp# _)
  • abs (S# _) < abs (Jn# _)
Conversion from an Integer. An integer literal represents the application of the function fromInteger to the appropriate value of type Integer, so such literals have type (Num a) => a.
conversion to Integer