Agda files for natural number arithmetic.