Implement Arithmetic spec