Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished | IEEE Conference Publication | IEEE Xplore