问题 为什么在赋值后似乎改变了双倍的价值？

在我的机器上，以下程序的结果对我来说有点奇怪。

#include <iostream>

using namespace std;

int main(){
    double a = 20;
    double b = 0.020;
    double c = 1000.0;

    double d = b * c;

    if(a < b * c)
        cout << "a < b * c" << endl;

    if(a < d)
        cout << "a < d" << endl;

    return 0;
}

输出：

$ ./test
a < b * c

我知道双精度因精度而不准确。但是我不希望这个值发生变化并且给出不一致的比较结果。

如果 a < b * c 打印出来，我确实希望如此 a < d 也应该打印出来。但是当我在我的i686服务器甚至我的cygwin上运行此代码时。我可以看到 a < b * c 但是看不到 a < d。

此问题已被确认为依赖于平台。这是由双重赋值的不同指令和实现引起的吗？

UPDATE

生成的程序集：

main:
.LFB1482:
    pushl   %ebp
.LCFI0:
    movl    %esp, %ebp
.LCFI1:
    subl    $56, %esp
.LCFI2:
    andl    $-16, %esp
    movl    $0, %eax
    subl    %eax, %esp
    movl    $0, -8(%ebp)
    movl    $1077149696, -4(%ebp)
    movl    $1202590843, -16(%ebp)
    movl    $1066695393, -12(%ebp)
    movl    $0, -24(%ebp)
    movl    $1083129856, -20(%ebp)
    fldl    -16(%ebp)
    fmull   -24(%ebp)
    fstpl   -32(%ebp)
    fldl    -16(%ebp)
    fmull   -24(%ebp)
    fldl    -8(%ebp)
    fxch    %st(1)
    fucompp
    fnstsw  %ax
    sahf
    ja  .L3
    jmp .L2

    //.L3 will call stdout