Towards 63-bits integers (working only on amd64 for now)