Transfinite arithmetic