Idempotent semiring