Fixed mixed-up numerator and denominator in division
Merge pull request #45 from chsticksel/kind2-server

Fixed mixed-up numerator and denominator in division