[Agate 001] numerals math numbers counting