Egon Schmid wrote:
>  I also donīt see any problems to use floats and
> doubles in the manual.

so inconsistencies are a good thing?

IMHO^H^H^H^Hdefinetly not!

PHP has only one floating point type,
so there should be only one name for it

for historical reasons it has been called 'double'
as is implemented as a C 'double', 
but this is confusing to any newcomer without a C background

the only reason for not changing 'double' to 'float'
all over the place are is_double() (which could be aliased)
and gettype() returning "double" as a type identifier string
which is not easy to change without breaking existing code

Reply via email to