semiring-nn