eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : 10.2 = 10.2
     : 10.2 = 10.2
eq_refl : 1020 = 1020
     : 1020 = 1020
eq_refl : 102 = 102
     : 102 = 102
eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : -1e-4 = -1e-4
     : -1e-4 = -1e-4
eq_refl : -0.50 = -0.50
     : -0.50 = -0.50