CanonCommSemiring.native
CanonCommSemiring.interpreted
