Boost.org integer module