16The C code of Lombardi and Gallo (2001) is available at http://www.ds.unifi.it/~mjl/ in the “software” section.