Add a compare function with a nativeint
Shrink BigInt to SmallInt whenever possible