Talk:Tropical semiring