Added stdint header for uint64_t.
Updated.