Introduce arithmetic module.