corrected implementation of divfract()
corrected implementation of divfract()