It's likely that I'll need a symbol zero instead of a python int zero. For example, I may be doing a number of calculations involving dot products and then try to perform a substitution at the end. Also the operator implementation returns a symbol zero.