{
  print "Number?\n";
  redo unless <STDIN> =~ /^\d+$/;
}