/*************
* Header file for printnum.c
* 1999 E. Rouat
************/
#ifndef PRINTNUM_H_INCLUDED
#define PRINTNUM_H_INCLUDED
void printnum(char * buf, double num);
#endif