Pātuhitia tēnei: The logic of computer arithmetic.