Boa tarde, professor!! Tudo bem? Então, eu não entendi a variável do PHP double (diferença entre double e float). Em programação, eu vejo que não é bem assim, pois geralmente as variáveis são separadas uma com pequena quantidade de casas decimais e outra com grande quantidade de casas decimais e gostaria de saber o por quê o PHP usa isso por favor?
Segue código para complementar:
<?php
$idade = 20;
$nome = "Henrique";
echo gettype($idade);
echo gettype($nome);
Obrigado e tenha um ótimo dia, Henrique Ribeiro Siqueira