Having had a chance now to look through books, I offer as counterpoint PHB p. 306, the definition of critical hit in the glossary (in part):
"... Critical hit damage is usually double damage, which means rollirng damage twice, just as if the attacker had actually hit the defender two times...