> You should not be writing code that relies on this behaviour in the first place.
I'm not.
That was just a screenshot of ipdb where I was debugging and surprised that an instance printed as "0" but wasn't the int 0.
Happy to add a screenshot with a better way of demonstrating that the value I had in the dictionary was `sp.S.Zero` and not `int(0)`, even though they `== 0` as `True` - what _should_ I have done?