17c17
< static char rcsid[] = "$Id$";
---
> static char rcsid[] = "$Id: e_asinf.c,v 1.5 1997/02/22 15:09:58 peter Exp $";
76c76
< s = sqrtf(t);
---
> s = __ieee754_sqrtf(t);