DirectedInfinity1+I * I