On 25/02/2019 21:28, Commander Kinsey wrote:

I just prefer to use mm, without having to do fractions calculations to
work out if 9/16 is bigger or smaller than 19/32.

You really have problems with doubling a number?