minInf plusinf