Honestamente, no se. Sólo hice algunas pruebas y al llegar a ese bloque de código el problema se solucionaba al eliminarlo, entonces al ver el float:right en un div que aparentemente su propósito es para contener a otros divs flotantes supuse que no era necesaria esa declaración.
En general, IE tiene problemas con margins, paddings, width, y floats. Para verlo al detalle checa:
Código:
positioniseverything.net/explorer.html
Saludos.