toJSON(i32)
