Re: [PHP-DOC] Re: cvs: phpdoc /en/functions math.xml

[Hartmut Holzgraefe]

Hartmut Holzgraefe wrote:
> 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

but then the gettype() page already says:

  Warning
  Never use gettype() to test for a certain type, since the 
  returned string may be subject to change in a future version. 

and we already have is_float()

so no reasons left for not calling a floating point number
"float" instead of "double" (double what?)