This video brought to my attention the 8 mm lead of the Ender 3's Z axis screw, which seems like an exceedingly bad choice from a standpoint of accuracy with respect to common grid alignments in the Z direction. In particular, with the stepper having 200 full steps per rotation, the 8 mm lead consumes all the powers of two out of 200, leaving 25 full steps per mm - and 25ths of a mm are not a typical unit that layer heights/feature heights are going to be in. It seems like a 5 mm lead would be ideal, giving you 40 steps per mm, evenly divisible by 3 powers of 2 and one power of 5, for exact tenths and exact eights.
Is there a motivation behind the choice of 8 mm lead? Is this common for other printers, and are there printers that use a 5 mm lead, or 5 mm replacements that work well?