[Ice 001] abstract number programming