binary division restoring division