use S.Infinity instead of oo [skip ci]