"0.101112"^^ . . . "2"^^ . . "3"^^ . . . . "3"^^ .