abs(oo)

I know that oo and -oo should only be involved in comparisons and unary
negation.  But they work in max and min — so it seems logical that
they must work in everything EXPRESSIBLE in terms of these operations
as well!  But then abs(-oo) should be allowed…

Thanks,
Ilya