Notation for repeating decimals