[Agate 002] abstract number programming