#include <TropicalNumber.h>
Object traits for TropicalNumber: Defines when a TropicalNumber is tropically zero/one and what tropical zero and one are.