Decimal Day and 10p coin equivalents, co-existed in circulation as valid currency until the early 1990s. In theory this included coins dating back to 1816; in practice the oldest were dated 1947, when these coins stopped containing silver. The coins were withdrawn when smaller 5p and 10p coins were introduced in 1990 and 1992 respectively. The face value of Maundy money coins was maintained, increasing all their face values by a factor of 2.4, as the coins continued to be legal tender as new pence. The numismatic value of each coin, though, greatly exceeds face value. The decimal halfpenny (p), introduced in
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