Presumably there are as when you visit the first link it detects you Operating System, I tested using XP also. With my win7 starter edition 32bit on my netbook, it offered a download link (declined Bing and MSN).
The file downloaded was EIE10_EN-US_WOL_Win7.EXE is 24.1MB, much smaller than the IE10-Windows6.1-x64-en-us.exe file at 42MB.
and the file