[boost] Arbitrary precision arithmetic