Waking up to these US election numbers is deeply, deeply depressing.