Inherits pm::spec_object_traits< T >.
Object traits for TropicalNumber: Defines when a TropicalNumber is tropically zero/one and what tropical zero and one are.