una funzione che converte un binario in un float (single) in php (nelle librerie di default) non c'è, non esiste

da wikipedia, guardando, vedo che l'implementazione comunque è veramente semplice
http://it.wikipedia.org/wiki/IEEE_75...a_.2832_bit.29