Implementation and improvements of affine arithmetic Rump, Siegfried M. Kashiwagi, Masahide 2015 - TUHH Open Research