x1int             174 maint/gnulib/lib/fmod.c             DOUBLE x1int = TRUNC (x1);
x1int             175 maint/gnulib/lib/fmod.c             x0 = TRUNC ((x1 - x1int) * TWO_LIMB_BITS);
x1int             176 maint/gnulib/lib/fmod.c             x1 = x1int;