When programs are compiled to use a floating-point coprocessor, they perform basic floating-point arithmetic by means of floating-point machine instructions for the target coprocessor. When programs are compiled to use software floating-point, there is no floating-point instruction set available, so the ARM libraries must provide a set of procedure calls to do floating-point arithmetic. These procedures are in the software floating-point library, fplib.