Normalize: Use float instead of double

[mk-mxp]

I came across this in the PHP track docs:

• Casts (float) and (real) are normalized to (double)

Was there a discussion about that anywhere? Because double is not seen by PHP as a type, it is seen as an alias for float only:

(double) and (real) are aliases of the (float) cast. These casts do not use the canonical type name and are not recommended.

Througout the PHP documentation float is used as the type for floating point numbers.

See:

• https://www.php.net/manual/en/language.types.type-system.php
• https://www.php.net/manual/en/language.types.type-juggling.php#language.types.typecasting

[github-actions]

Hello. Thanks for opening an issue on Exercism 🙂

At Exercism we use our Community Forum, not GitHub issues, as the primary place for discussion. That allows maintainers and contributors from across Exercism's ecosystem to discuss your problems/ideas/suggestions without them having to subscribe to hundreds of repositories.

This issue will be automatically closed. Please use this link to copy your GitHub Issue into a new topic on the forum, where we look forward to chatting with you!

If you're interested in learning more about this auto-responder, please read this blog post.

[homersimpsons]

Reference forum post: https://forum.exercism.org/t/php-normalize-use-float-instead-of-double/9740

Note that this will require a new run of the representer. It will certainly make sense to batch it with other changes.

I did flag it as "paused", I had other improvements to include in the representer that I could write in new issues. Once all the merge are ready we could increase the representer version.

We should also update the documentation.