[tshaddox]

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