Yes. I noted this after the commit. But for the instance,
```
if F.is_number:
    if F is S.Zero: 
        return S.NegativeInfinity
    else: ...
```
would work.