inf and minf



Do we need minf?   (negative real infinity)

Note that - minf is currently not simplified to inf.

RJF