なるほど。だからオレの環境では
printf("%d\n",2/14);
が
Inf
ってなるのか・・・