toJSON(1 <= i32)
