I mistakenly installed 32 bit Debian. How can I ensure that I'm installing 64 bit?

[Patrick Chkoreff <patrick@rayservers.net>]

I installed Debian on this laptop using this image:

  debian-7.4.0-amd64-i386-netinst.iso

I thought that because it had "amd64" in the name, I was getting a 64
bit operating system.

Well, that didn't happen.  I got a 32 bit operation system:

$ uname -a
Linux laptop 3.2.0-4-686-pae #1 SMP Debian 3.2.54-2 i686 GNU/Linux


I don't see any "_64" in there.  I also know from "Details" in system
settings that the OS type is "32-bit".


This laptop does have a 64 bit processor.  Just to reassure myself that
I wasn't mistaken about that, I did this:

$ grep flags /proc/cpuinfo
flags       : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca
cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx lm
constant_tsc arch_perfmon pebs bts aperfmperf pni dtes64 monitor ds_cpl
est tm2 ssse3 cx16 xtpr pdcm xsave lahf_lm dtherm


As I understand it, the presence of "_lm" (long model) is an indication
that I have a 64 bit processor.

I also know that when I had Ubuntu on this laptop before, I was writing
C code that could store 2^64-1 in a long value.


So, one of these days I plan to do yet another fresh installation on
this laptop so I can get a 64 bit version of Debian.  However, I don't
want to get fooled again.  I want to get an ISO image that will give me
a 64 bit system.  This one did not:

  debian-7.4.0-amd64-i386-netinst.iso

My question is, can anyone give me the URL of an ISO image on the Debian
web site which will give me 64 bit?


-- Patrick