SOLVED - Convert Arduino (AVR) float to Microchip float

Avr-gcc uses IEEE-754 which is pretty standard.
What does PIC use?