Lines Matching refs:Digs_Val
14904 Digs_Val : Uint; variable
14975 Digs_Val := Expr_Value (Digs_Expr);
14977 if Digs_Val > 18 then
14978 Digs_Val := UI_From_Int (+18);
14982 Set_Digits_Value (Implicit_Base, Digs_Val);
14983 Bound_Val := UR_From_Uint (10 ** Digs_Val - 1) * Delta_Val;
15047 Set_Digits_Value (T, Digs_Val);
17803 Digs_Val : Uint; variable
17826 if Digs_Val > Digits_Value (E) then
17871 if Digs_Val > Max_Digs_Val then
17902 Digs_Val := Expr_Value (Digs);
17910 if Digs_Val > Max_Digs_Val then
17922 if Digs_Val > Max_Base_Digits then
17987 Set_Digits_Value (T, Digs_Val);