type(1) != toJSON(0.5)
