This looks like a bug!

i11 : 1p10 == 1.0000000000000001

o11 = true

i12 : 1p10 == 1.000000000000001

o12 = false
