let round tf e = e_app2 mk_round (e_app0 (mk_fformat tf)) e