[issue6427] Rename float*.[ch] to double.[ch]

[Martin v. Löwis]

Martin v. Löwis <martin at v.loewis.de> added the comment:

As Amaury explains, it's called float because it *is* a floating point
type. 

It is not a double type, as it is not two types, but only a single one
:-) In 2.x, the "int" type was also represented with a C long, yet the
type called "long" was not represented with longs but with shorts.

----------
nosy: +loewis
resolution:  -> rejected
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue6427>
_______________________________________