The cut, as arithmetic