PHP - ¿Cómo leer y escribir archivos WAV de 32 bits?

Estoy intentando leer y escribir archivos WAV de audio. Con audio de 16 bits no he tenido problemas. Pero con audio de 32 bits, por lo visto la estructura de los datos es de IEEE float 32 bits. Son 1 bit para el signo, 8 bits para la coma y 23 bits para el numero. He probado de muchas formas pero no encuentro la forma de pasar un numero decimal a ese tipo de IEEE float 32 bits ni viceversa. ¿Alguien sabe como leer y escribir archivos WAV de 32 bits y relacionarlos con números decimales?