Max-plus semiring