Suboptimal number of digits with Extended tick locator

[tshead2]

• Create a number line
• Set the domain to "0" and "8".
• The default Extended tick locator generates four ticks at 0, 2.5, 5, and 7.5, which is fine. However, the labels are formatted using zero as the number of digits, so the axis reads "0", "2", "5", and "8", which is confusing.