arithmetizes