You can use `S.Infinity` in the code, instead of additional `oo` import.