[Agate 002] numerals math numbers one