Some Formal Tools for Computer Arithmetic: Flocq and Gappa | IEEE Conference Publication | IEEE Xplore