> > +    return ((double)$sec+(double)$usec) * 100000;
>
> The official name for the cast is 'float'. I know, the
documentation is
> still very inconsistent, but the language section is more or less
okay
> now.
>
> See also the readme on type names.

It is not very polite to change the readme and force editors and
authors using an "official" name for a cast.

-Egon

Reply via email to