Have "get_positive_int()" really check for positive integers, not just