Missing from previous commit: main required file
Fix: Rounding#num_integral_digits did not handle numerals in different base