extensions:tropicalcubics