Numeral_base loading ...