FOUR Arithmetic