As I posted:
In my experience, players use the numerical/mathematical information that their PCs' remaining hp give them all the time: in deciding whether to rest, whether to fight, who to heal, etc.
But as per my example, the characters can't have the sort of information about the likelihood...