This is really funny, as I never even considered rounding a tip to make the total even for getting that one more mile. I suppose it makes sense even though we are only talking about a few points.

In any case, I was mainly curious if anyone else had noticed 7 = 7.5, and to see if anyone noticed a different rounding scheme.

Maybe they did change to standard rounding, figuring that some people might actually think the rounding down is unfair and take action! We could all join a class action lawsuite, burgerwars.