32%R
     : R
(-31)%R
     : R
eq_refl : 102e-2 = 102e-2
     : 102e-2 = 102e-2
eq_refl : 102e-1 = 102e-1
     : 102e-1 = 102e-1
eq_refl : 102e1 = 102e1
     : 102e1 = 102e1
eq_refl : 102 = 102
     : 102 = 102
eq_refl : 102e-2 = 102e-2
     : 102e-2 = 102e-2
eq_refl : -1e-4 = -1e-4
     : -1e-4 = -1e-4
eq_refl : -50e-2 = -50e-2
     : -50e-2 = -50e-2