算术化

arithmetization