Title: A compact arithmetic