Teach Double to `fromInt`
Teach Double to divide
Implement a few more primitives