Digits used in display

        Digits used in displayDM2-3.tex#Maple settings