Thank you Michael, for explaining that.
So I incorrectly assumed it was rounded, upon seeing 0.13 in the corner display, instead of 0.125.
The value is still 0.125 then.
I also subsequently typed in 0.125 in the corner display, which soon switched to showing 0.13. :)