number library in c