Switched to PosInf representation.