#include <float.h>
float minflt_(void)
{
  return FLT_EPSILON;
}