php: fixed float to int32 conversion

git-svn-id: http://haxe.googlecode.com/svn/trunk@6136 f16182fa-f095-11de-8f43-4547254af6c6
updated patch of Std.int to better support 32bit machines

git-svn-id: http://haxe.googlecode.com/svn/trunk@6137 f16182fa-f095-11de-8f43-4547254af6c6