Fixed the issue with Tropical one - zero is the multiplicative identity.

TODO: Make Matrices tropical.