El proceso de cambiar una variable de tipo, se llama "casting".
Para convertir a float, no hace falta ninguna clase, es tan fácil como esto:
$num = 132123;
$numFloat = (float) $num;
Luego para comprobar si es de tipo float, usas
is_float():
echo "es flotante\n";
}else {
echo "no es flotante\n";
}
También se puede hacer con
floatval().
Te recomiendo que leas el siguiente enlace:
_
Manipulación de tipos (Type Juggling).
Advertencia - mientras estabas escribiendo, una nueva respuesta fue publicada. Probablemente desees revisar tu mensaje.