Def digits_aux_0

Modification history