Radix 2^51 trick for bignum addition