[boost] A Boost.NumericAdaptor library to support big numbers