There is an asymmetry between `isSame` and/or `isProbablyZero` operations. That seems very odd but I do need to track the issue.
There is an asymmetry between
isSameand/orisProbablyZerooperations. That seems very odd but I do need to track the issue.