My assumption is that IDTV is deinterlacing a 480i signal to 480p, which is shown on a CRT running at 31khz (though I don't know what algorithms it would use to deinterlace).