let v_div v1 v2 = v_mul v1 (v_recip v2)