Extension of the by two infinity elements and associated arithmetics.

It is not a field, because we can not define sum of inf-inf