CIRCULATING DECIMALS. See DECIMALS in this Supplement.