#include <string>
bool all(double n);
bool not_neg(double n);
double read_real(const std::string &msg, const std::string &err, bool check(double)=all);

bool nat(int n);
int read_int(const std::string &msg, const std::string &err, bool check(int));