Sadly, the fix to this seems to be to learn to estimate division by three. It gets easier with practice.
How stuff like this managed to slip through, I have no idea. There are a lot of minor issues that could make a major difference if they had been included to begin with.