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