/* Empty.  This file is only meant to avoid compiling the file with the
   same name in the libm-ieee754 directory.  The code is not used since
   there is an assembler version for all users of this file.  */