definitive default_div.