Aspettate, vi state fossilizzando sul fatto che il mio problema siano le operazioni tra i bit...

Tralasciamo il fatto che i due dati me li da un dispositivo e come mi vengono dati perché a trattarli non ho problemi, il problema è questo qui:

Ho un numero reale a 32 bit in binario... notazione IEEE 754 numero a singola precisione e devo convertirlo in decimale.

C'è una qualche funzione php che fa questo?