added the Tropical semiring