fancysets: use S.Infinity instead of oo