Remove arithmoi dependence.