fixing bug with very big ints being silently padded by boxing in BigInt to allow for not losing precision