fixes #2 - Removed is_modulo requirement for 'U'

Removed is_modulo requirement for large_integer high-part (template parameter 'U').  This requirement was inappropriate as it did not reflect real integer types.  Also, std::numeric_limits<large_integer>::is_modulo will now reflect the is_modulo of 'U'.