generalize PosInf to Inf (and provide PosInf and NegInf)
version bump due to breaking changes to PosInf
improve documentation of Inf