Operations on inf



>>>>> "Stavros" == Stavros Macrakis <macrakis at alum.mit.edu> writes:

    Stavros> an INF in the system, you are committing yourself to losing information (I
    Stavros> think we all agree that 1/(2*inf) = 1/(3*inf) = 0, and that 1/(1/2*inf)) is
    Stavros> not 2 (or 3), but UND.)

The current code does have 1/(2*inf) = 1/(3*inf) = 0.  But why is
1/(1/2*inf) = und?  Why is this not 0?

Ray