in php5, pass a 64bit integer, 1707541557936130
through GET, but it shows value of 1.7075415579361E+15
how can I force php to use large integers as integers, not as float
when I shift <<
apparently the result of that is int32 as well, not int64
is there a way to globally say use int64?