/*
push and pop handle doubles on a hidden stack.
*/

extern void push(double f);
/* if the stack is already full a warning message is printed and nothing is
   pushed. */

extern double pop(void);
/* if the stack is already empty a warning message is printed and 0.0 is
   "popped". */