> Or is this just a general bugfix that we should tag for stable?

I'd think this because I assume there is no commit causing the rounding
errors. But maybe Biju has something to add?