I ran Speccy and this is what it gave me:

Intel Core i5 4200M
Cores 2
Threads 4
Name Intel Core i5 4200M
Code Name Haswell
Package Socket 947 rPGA
Technology 22nm
Specification Intel Core i5-4200M CPU @ 2.50GHz
Family 6
Extended Family 6
Model C
Extended Model 3C
Stepping 3
Revision C0
Instructions MMX, SSE, SSE2, SSE3, SSSE3, SSE4.1, SSE4.2, Intel 64, NX, VMX, AES, AVX, AVX2, FMA3
Virtualization Supported, Disabled
Hyperthreading Supported, Enabled
Bus Speed 99.8 MHz
Stock Core Speed 2500 MHz
Stock Bus Speed 100 MHz
Average Temperature 55 °C
Caches
L1 Data Cache Size 2 x 32 KBytes
L1 Instructions Cache Size 2 x 32 KBytes
L2 Unified Cache Size 2 x 256 KBytes
L3 Unified Cache Size 3072 KBytes
Cores
Core Speed Multiplier Bus Speed Temperature Threads
Core 0 798.1 MHz x 8.0 99.8 MHz 56 °C APIC ID: 0, 1
Core 1 798.1 MHz x 8.0 99.8 MHz 54 °C APIC ID: 2, 3

Does the 'Instructions' Line mean that my cpu can handle 64 bit os?

Thanks for the help,
Francois