11. Using standard real numbers and the standard interpretation of decimal expansions , the equality is exact. 12. First, Richman defines a nonnegative " decimal number " to be a literal decimal expansion . 13. Calculating digits of the decimal expansion of constants has been a common enterprise for many centuries. 14. :Digits 139973392 & ndash; 139973399 in the fractional part of the decimal expansion of \ pi. 15. Did not Liouville ( constructively ) prove the existence of infinitely many using certain decimal expansions ? 16. Its decimal expansion has 12, 837, 064 digits. 17. Certain procedures for constructing the decimal expansion of x will avoid the problem of trailing 9's. 18. :Irrational numbers have a unique decimal expansion . 19. The only meaningful solution would be to write out cube root of 4 as a decimal expansion . 20. :( ec ) Well, there's no way to write down a decimal expansion of the exact value.
