{
/* Unless we need to adhere to a specific format, provide special
output for special cases of binary floating-point numbers. */
{
/* Unless we need to adhere to a specific format, provide special
output for special cases of binary floating-point numbers. */