Wrong values in ruler when max displayed above 10000

See attached files. per-color-state.trace

The ruler displays 4000 but the value is 5000. If you zoom between 6000 and 10000+, all will be rounded to thousands (so we can have 6000, 6000, 7000, 7000 in the graduations instead of the good values).