{ LITERAL FRACTIONDIGITS "5"^^ }