An extended arithmetic