implementation of restoring division