This is going to seem like the smallest of potatoes, but has anyone noticed a change in how displayed reputation is rounded? Up until today, if one had, say, 17,750 reputation, then the reputation would display as 17.8k. Now it displays as 17.7k, not moving until the reputation actually moves through the 17,800 threshold.
Yes, I know, my life may never be the same. But I was just curious if this is part of some larger change.