"0.0"^^ . . "Prior sense of numerus" . .