In principle inf and -inf are special like this, too?!