関連ワード:  php integer as string    php number as string    php json_encode integer as string    php fputcsv number as string    php format number as string    php cast number as string    php mysql integer returned as string