"0.0"^^ . . "Prior sense of radix" . .