definitive default_div