Question: php: int() function equivalent for bigint type? (int() cuts strings to 2147483647)