Optimization: bignum arithmetic

[crusso]

I wonder if these functions: https://github.com/libtom/libtommath/blob/8314bde5e5c8e5d9331460130a9d1066e324f091/tommath.h#L371 could be used to avoid boxing the other argument when one number is big but the other is compact. Would avoid some heap allocation.