Esquisitice desconhecida da família de fontes CSS com o IE7-10 no Windows Vista, 7, 8

Estou vendo a seguinte "estranheza" no IE7-10 no Windows Vista, 7, 8:

Ao declarar font-family: serif;, estou vendo uma fonte serif antiga com bitmap que não consigo identificar (veja a captura de tela abaixo) em vez da fonte esperada Times New Roman . Eu sei que é uma fonte de bitmap antiga, porque exibe alias, sem qualquer suavização de fonte, com o IE7-10 no Win Vista-8 (assim como o Courier em todas as versões do Win).

Captura de tela:

Gostaria de saber (1) mais alguém pode confirmar minha pesquisa e (2) BÔNUS: qual fonte o IE está exibindo?

Notas: O IE6 e o ​​IE7 no Win XP exibem Times New Roman , como deveriam. Não importa sefont-family: serif; é declarado em uma folha de estilo externa ou embutida no elemento. Citar o atributo CSS não faz diferença. Adicionar "Fonte desconhecida" à pilha também não faz diferença.

Nova captura de tela: A resposta de Jukka abaixo está correta. Aqui está uma nova captura de tela com Batang (não BatangChe) para ilustrar. Espero que isso ajude alguém.

Posso confirmar a observação usando o IE 9 no Win 7. Ao verificar as configurações do IE (Ferramentas → Configurações da Internet → Geral → Fontes), vejo o BatangChe mencionado como a fonte em "definido pelo usuário" para texto normal e a fonte usada para serifparece Batang Che, mas tem espaçamento diferente. E definir fontes lá parece não mudar isso. Eu acho que eles só importam se o autor não definir a família da fonte, mesmo que genericamente.

Parece que a fonte é Batang. Suponho que não há como mudar isso (ou seja, o mapeamento de serifuma fonte específica). Portanto, a conclusão prática é que usar serifcomo fonte substituta não é uma boa ideia. Ou pelo menos você deve colocar algumas fontes como Times New Roman e Georgia antes, para que o IE use uma delas em vez de cair em Batang.