Digits used in display
Digits used in displayDM2-3.tex#Maple settings