type(toJSON(0.5 < i))
