[Ice 002] abstract number programming