Round-six lemma `fdiv_recip`