tropical

Tropical numbers are the same as real numbers, except the operations are different. See the documentation for more information.