Rareza desconocida de la familia de fuentes CSS con IE7-10 en Windows Vista, 7, 8

Estoy viendo la siguiente "rareza" con IE7-10 en Windows Vista, 7, 8:

Al declarar font-family: serif;, veo una fuente serif antigua de mapa de bits que no puedo identificar (ver captura de pantalla a continuación) en lugar de la fuente esperada Times New Roman . Sé que es una fuente antigua de mapa de bits porque muestra un alias, sin suavizado de fuente, con IE7-10 en Win Vista-8 (al igual que Courier en cada versión de Win).

Captura de pantalla:

Me gustaría saber (1) ¿alguien más puede confirmar mi investigación y (2) BONUS: qué fuente muestra IE?

Notas: IE6 e IE7 en Win XP muestran Times New Roman , como deberían. No importa si font-family: serif;se declara en una hoja de estilo externa o en línea en el elemento. Citar el atributo CSS no hace ninguna diferencia. Agregar "Fuente desconocida" a la pila tampoco hace ninguna diferencia.

Nueva captura de pantalla: la respuesta de Jukka a continuación es correcta. Aquí hay una nueva captura de pantalla con Batang (no BatangChe) para ilustrar. Espero que esto ayude a alguien.

Puedo confirmar la observación, usando IE 9 en Win 7. Comprobando la configuración de IE (Herramientas → Configuración de Internet → General → Fuentes), puedo ver a BatangChe mencionado como la fuente en "definido por el usuario" para el texto normal, y la fuente utilizada se serifparece a Batang Che pero tiene un espaciado diferente. Y configurar las fuentes allí no parece cambiar esto. Supongo que solo importan si el autor no establece la familia de fuentes en absoluto, incluso genéricamente.

Parece que la fuente es Batang. Supongo que no hay forma de cambiar esto (es decir, la asignación de serifuna fuente específica). Entonces, la conclusión práctica es que usar serifuna fuente alternativa no es una buena idea. O al menos debería poner algunas fuentes como Times New Roman y Georgia antes, para que IE use una de ellas en lugar de caer en Batang.