mp_integer: complete the implementation of the specialisation of safe_cast,
including doc and testing.
piranha.hpp: outline a plan for future improvements to routines
involving floating-point types.
Merge branch 'development' into k_monomial
small_vector: replace boost integer traits with std::numeric_limits.