chg: new tropical.lib version by thomas

mainly includes changing "int / int" to "int div int"
Merge pull request #449 from YueRen/master

chg: new tropical.lib version by thomas