Singular/Sources — pull request #449 by YueRen (2013-12-16 12:47:47+00:00)
Title: chg: new tropical.lib version by thomas

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