[boost] Multiprecision vs. xint