- +infty = -infty by Def3;