-- Save up trailing zeroes after the decimal point
- if Digit = 0 and After_Point = 1 then
+ if Digit = 0 and then After_Point = 1 then
Num_Saved_Zeroes := Num_Saved_Zeroes + 1;
-- Here for a non-zero digit
-- Save up trailing zeroes after the decimal point
- if Digit = 0 and After_Point = 1 then
+ if Digit = 0 and then After_Point = 1 then
Num_Saved_Zeroes := Num_Saved_Zeroes + 1;
-- Here for a non-zero digit