Implement and document the arithxx module