An approach to generate correctly rounded math libraries for new floating pointdl.acm.org2 pointsfanf2a year ago