Binary-decimal conversion

Converting the rounded binary representation of to decimal according to the model is similar to computing itself--convert to sufficiently many decimal digits to guarantee correct rounding. Now equals , which rounds to the nine-digit value . (Just express the binary value as , then repeatedly multiply in hexadecimal by ten, stripping off the successive decimal digits as they appear to the left of the hexadecimal radix point.) This is the kind of conversion performed by