Numeric Reward Machines