Flummoxed by IT: How to tell if PHP is running on 32bit or 64bit mode