toJSON(i < i32)
