I want to process user input as an integer, but it seems as though C has no way to get an int from stdin. Is there a function to do this? How would I go about getting an int
#include int n; scanf ("%d",&n);
See http://www.cplusplus.com/reference/clibrary/cstdio/scanf/