toJSON(0.5 <= i)
