Unless I'm missing something obvious, is there no 64-bit PHP installer? I have seen vague references to PHP x64 in other random pages, but not much on www.php.net itself.