div_dot_free