toJSON(0.5 <= 1)
