¿Qué tipo de dato se utiliza en PHP para almacenar números decimales?