[Grass 001] abstract number programming