add 'inf' as a short-hand for PosInf