[boost] BigInt divide-by-zero handling