Fixed: overflow in sub_int function.
Fixed: subr_div
Support: rational subtraction
trivial changes