11 Floating-point Support

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