"1.2345"^^ .