It's a 40Gb. The difference in capacity is due to drive manufacturers specifying Gb as billion bytes, whereas we use (1<<30) as the size of a Gb (much like the difference between the label marking on your 3.5" HDDs and what your BIOS actually says the capacity is).

Hugo