[Agate 002] numerals math numbers counting