Yeah, I don't really see what this gets you. With basic real number division you have to make the exception for zero in the definition: a/b = c if and only

Yeah, I don't really see what this gets you. With basic real number division you have to make the exception for zero in the definition: a/b = c if and only if a = c*b and b!=0 And with this infinity thing you just have to make essentially the same exception for multiplication and infinity: c*b = a if and only if a/b = c and b!=infinity and c!=infinity