I run into a problem on my code when moved to production because the production server is 32bit while my development machine is 64bit (I’m running Kubuntu 12.04 64bit). My question is. Is it possible to force an int to be 32bit without installing the 23bit version of PHP? Either that or a library that allow me to chose the