[Agate 001] abstract number programming