Rewrite kegon-80-numerals.tex