Title: Enrichment of arithmetic