. . . "0.8001"^^ . . .