Unbox small Integers #1
Description
Integer performance is presently quite slow because all values of Integer type are full heap-allocated boxed GMP integers. The standard optimization to use tagged pointers to unbox small integers should be applied. Due to the Nat -> Integer optimization Idris performs, this should improve general performance substantially.