I was thinking something like

```py
if m.is_zero:
    return True
elif m.is_zero is False:
    if m.is_integer:
        ...
else: # m.is_zero is None, can't conclude anything
    ...
```