PHP将json中的数字值去除掉双引号（字符型转整形）