RATIONAL: Add arithmetic op stubs
RATIONAL: Add arithmetic tests
RATIONAL: Implement arithmetic ops