>>192
C99 の 7.19.2 にはなにも。
端末を非カノニカルモード(stty -icanon min 1 time 0 とか)にすると、そもそも ^D が EOL にならないみたい。
カノニカルモードで端末は ^D を渡さないだけで普通にバッファリングしているみたいですね。この辺の詳しいことはどこに書いてあるのだろう?

>>194
ISO/IEC 9899:1999 6.5.2.2.6 には float -> double の格上げをわざわざ 
These are called the default argument promotions.(JIS では 「既定の実引数拡張」という表現)
と呼んでますよ。プロトタイプがない場合は 整数型は全部 int になるし、実数型は全部 double になる。
という事実は、int や double が基本だ、ということになりませんか。

これが言葉だけの話、というのならば、話を最初 http://hibari.2ch.net/test/read.cgi/tech/1308749241/906 にもどして、
のちのち可変長引数関数である printf() において いずれ double に変換されるにきまっているのに、最初に float にしておくのはなぜか?
最初から double にしとけばええやん、という話になりませんかね。無駄に変換をかける必然性はあるのかなあ?
もともと私はそこを問題視しているんですけれどもね。