arithmetized