idempotent_tropical
