If the number in the database is decimal, which typehint should I do, double or float?

Question

PHP

After all, in fact, it comes to me purely with a dot all the time, I have a decimal of this format

* @ORM\Column(type="decimal", precision=9, scale=2, options={"unsigned": true,})

However, there is no such type in php, please tell me what typehint to put and why?

function getDecimal() : float ? double
{
return 9999.99;
}

Answer 1

However, there is no such type in php

You answered your own question, in php there are no data types like double, long double, and short, long, long long.
float, because there are no other types for floating point numbers in php.