Added the Tropical semiring