"0.5"^^ . . "Prior sense of integer" . .