Answering my own question, it seems that int64_t is the correct choice, as of C99. Second question still stands, though.