Added the remaining arithmetic boilerplate...