#ifndef lint
 static	char sccsid[] = "@(#)h_dnnt.c 1.1 92/07/30 SMI"; /* from UCB 1.1" */
#endif
/*
 */

short h_dnnt(x)
double *x;
{
int nint(); return nint(*x);
}