fact_div_fact docs