Lines Matching refs:Digs_Val
14975 Digs_Val : Uint; variable
15046 Digs_Val := Expr_Value (Digs_Expr);
15048 if Digs_Val > Max_Digits then
15051 Digs_Val := UI_From_Int (Max_Digits);
15054 Set_Digits_Value (Implicit_Base, Digs_Val);
15055 Bound_Val := UR_From_Uint (10 ** Digs_Val - 1) * Delta_Val;
15119 Set_Digits_Value (T, Digs_Val);
17920 Digs_Val : Uint; variable
17947 if Digs_Val > Digits_Value (E) then
18014 if Digs_Val > Max_Digs_Val then
18045 Digs_Val := Expr_Value (Digs);
18053 if Digs_Val > Max_Digs_Val then
18065 if Digs_Val > Max_Base_Digits then
18114 Set_Digits_Value (T, Digs_Val);