Use same int 64 type