According to https://www.php.net/manual/en/language.types.float.php floats and doubles are the same thing in PHP and are always stored with double precision. This means all our floats should be doubles as consumers might fail to parse the number (worst case) or just discard the additional precision (still not great).
In reality floats are not use that often and are usually not required with super high precision, so this is not a huge problem.
According to https://www.php.net/manual/en/language.types.float.php floats and doubles are the same thing in PHP and are always stored with double precision. This means all our floats should be doubles as consumers might fail to parse the number (worst case) or just discard the additional precision (still not great). In reality floats are not use that often and are usually not required with super high precision, so this is not a huge problem.