Title: Arithmetic by Design