toJSON(1 > i32)
