Decimal floating point (3 or 4 binary bits), and the rest of the significand uses the densely packed decimal (DPD) encoding. Unlike the binary integer significand version, where the exponent changed position and came before the significand, this encoding combines the leading 2 bits of the exponent and the leading digit (3 or 4 bits) of the significand into the five bits that follow the sign bit. This is followed by a fixed-offset exponent continuation field. Finally, the significand continuation field made of 2, 5, or 11 10-bit "declets", each encoding 3 decimal digits. If the first two bits after the sign bit
Decimal representation procedure to formula_32 and denoting the resultant decimal expansion by formula_33. The decimal expansion of non-negative real number "x" will end in zeros (or in nines) if, and only if, "x" is a rational number whose denominator is of the form 25, where "m" and "n" are non-negative integers. Proof: If the decimal expansion of "x" will end in zeros, or formula_34 for some "n", then the denominator of "x" is of the form 10 = 25. Conversely, if the denominator of "x" is of the form 25, formula_35 for some "p". While "x" is of the form formula_36, formula_37