hmm, iβm trying to get rust to track in the type system whether a number is known to be zero, but itβs failing in a confusing way: rustc says thereβs no implementation of Op for Added<Sa,Sb> but how can it be so sure when Sa and Sb are unknown type parameters?
