Size of the real type

[kinghajj]

This is just an FYI, but on my computer, this code:

import std.stdio;

int main(char[][] args)
{
writefln(real.sizeof * 8);
return 0;
}

Outputs the size of real as 96 bits, not 80.

I have an Intel Pentium 4 (Prescott) CPU.