Implemented Python 3 compatible division in IntegerValue and RealValue