[Moon 001] abstract number programming