[boost] [xint] Boost.XInt formal review