Ensure digits from json response are cast to int.

PHP, you suck.