Def digits_aux

Modification history