A slight improvement in the Numeral class