Previously Used Names
Infinity, positive infinity.