WyCS: bug fix for handling some aspects of division.