chg: new tropical.lib version by thomas

mainly includes changing "int / int" to "int div int"