[Agate 002] numbers mathematics number count