division now always rounds towards minus infinity (I hope) Rev: src/operators.c:1.21 Rev: src/testsuite.in:1.62 Rev: tutorial/tutorial.wmml:1.36