in reply to 5.35 != 5.35
I think the discussions in Why is Zero not 0? and When is a 2 not a 2? are probably relevant.