BTW `S.Integers  + S.Naturals` and `S.Integers - S.Naturals` also fails. We'll should implement these too.