With larger overall diameter…
With larger overall diameter on the tires, you're actually going faster and farther than the ECU thinks, with every rotation. You gotta do some math for the exact conversion, and you'll definitely have lost some effociency, but you're not as far off the original mileage as you might otherwise think.