The Floating-Point Number Generator Library is a C library to generate and manipulate binary IEEE 754 floating-point numbers with given properties for test purposes.