Fixes for int63 on amd64.