Near-exact division procedure