higher arithmetic