gcc/testsuite/gcc.c-torture/compile/f1.c

double
foo ()
{
  return 1.2587624368724;
}