11 Floating-point Support

Some PIC32M devices implement a 1985 IEEE-754 compliant Floating-point Unit (FPU) that supports single and double precision data types.