Style fixes to numeral systems