toJSON(i <= i32)
