/*
** ask_for_integer.h
*/

int ask_for_integer(char prompt[]);
double ask_for_double(char prompt[]);