Really return a 64-bits value in get_last_id()