Implement `mul`
Implement `div`
Implement `rem`