1/* Public domain.  */
2extern double __floatsidf (long);
3
4double __floathidf (int);
5
6double
7__floathidf (int u)
8{
9  return __floatsidf ((long)u);
10}
11