mp_integer: replace boost integer traits with std::numeric_limits.