1 #include <sysdeps/i386/fpu/s_isinfl.c>
2