Fix issue 2877: facts about oo and -oo