Bugs corrected && div impl,(untested)