Coins of the pound sterling exact decimal equivalent values continued in use after 1971 alongside the new coins, albeit with new names (the shilling became equivalent to the 5p coin, with the florin equating to 10p), and the others were withdrawn almost immediately. The use of florins and shillings as legal tender in this way ended in 1991 and 1993 when the 5p and 10p coins were replaced with smaller versions. Indeed, while pre-decimalisation shillings were used as 5p coins, for a while after decimalisation many people continued to call the new 5p coin a shilling, since it remained of a pound, but was now
Decimal enough (for all "n" greater than some natural number "N"). If all "d" for "n" > "N" equal to 9 and the limit of the sequence formula_9 is the decimal fraction obtained by replacing the last digit that is not a 9, i.e.: "d", by "d" + 1, and replacing all subsequent 9s by 0s (see 0.999...). Any such decimal fraction, i.e., "d" = 0 for "n" > "N", may be converted to its equivalent infinite decimal expansion by replacing "d" by "d" − 1, and replacing all subsequent 0s by 9s (see 0.999...). In summary, every real number that