Actually, when you try to download the sources of vlc you are led to another page
http://www.videolan.org/vlc/download-sources.html
where you can either directly download the sources of the "actual" version or select "older versions" => "our ftp archive" and then you have folders for each vlc version and here you have subfolders for windows 32bit and 64bit binaries, for Mac OSX, and of course the corresponding source package. Other binaries (SUSE) are found in separate folders and for Debian, Ubunto there is any case a different particular installation method (direct download+installation using some repository).
In any case the information about the general ftp page (
http://download.videolan.org/pub/videolan/vlc/ ) is indeed quite well "hidden".
I understand that a "standard" windows user would expect a direct download button for 64bit in the main page.
I suppose the 32 bit vlc version should also well run on a 64 bit Windows ? In Linux this is no problem provided the necessary dynamic libraries (e.g. ffmpeg, dvbpsi etc.) are also available in 32 bit versions. However, I am curious if the 32 bit vlc version works correctly with large files (larger than 2 or 4 GB) ? Such files appear regularly for example when doing records of DVB-T in HD resolution. I have regularly files of 7 or even 10 GB of size. Since even a 32 bit gcc compiler provides 64 bit "long int" variables the large file support for 32bit vlc should be possible (or more likely even "be the case"). At least I think so.