＞一部の処理系で、"%le" で double に対応しているものがある。

このあたりでは？
つまり、一部処理系独自の拡張みたいに云うな、と。