The largest element of the TropicalMinPlus algebra is `-Inf`. Hence, the ordering should be the opposite of the usual one! ```math -\infty > 3 > 0 > \infty ```