RealLimits: use +-infinity to get rid of "has limits" flags.

First simplify internally, then change API.