Quot/quotient_def.ML
2010-01-13 Christian Urban tuned
less more (0) -10 -1 tip