chg: new version of tropical.lib by Thomas