len(toJSON(1 <= i32))
