C99 Strict - Dziwne zachowanie przy obliczeniach zmiennoprzecinkowych

Mógłby mi ktoś wytłumaczyć ten fenomen? http://ideone.com/cI3DBT

#include "stdio.h"

int main() {
	double x = 0.478;
	double a = 1000.0;
	
	int ix;
	ix = (int) (a * x);
	double dx;
	dx = a * x;
	int idx;
	idx = (int) dx;
	
	printf("double x = %f, double a = %f\n\n", x, a);
	printf("int ix = (int) (a * x) = %d\n", ix);
	printf("double dx = a * x = %f\n", dx);
	printf("int idx = (int) dx = (int) (a * x) = %d\n", idx);
	return 0;
}

Wynik tego jest taki:

double x = 0.478000, double a = 1000.000000

int ix = (int) (a * x) = 477
double dx = a * x = 478.000000
int idx = (int) dx = (int) (a * x) = 478

Nie rozumiem tego. Wiem, że operacje na liczbach zmiennoprzecinkowych nie są przemienne ani łączne. Problem w tym, że ja zachowuję tu przecież kolejność wykonywanych działań, a mimo to wychodzą różne wyniki! Jak C99 obsługuje liczby zmiennoprzecinkowe?

Z góry dzięki.

wystarczy sprawdzic jak dziala kojwersja z double na int (zdaje sie ze nie zaokragla).

@kmph: ten kod jest bledny z definicji. ix bedzie rozne od dx bo kolejnosc operacji jest rozna a nie bez znaczenia jest miejsce wykonania
operacji int(double). Mozna sobie to tlumaczyc innym kompilatorem, standardem czy ustawieniami kompilatora ale tak naprawde przyczyna jest jedna (ww).

Po prostu zajrzyj do wersji asm tego kodu. Najprosciej zrob dwie funkcje ktore roznie implementuja to wyrazenie. Moze sie nie udac - to bedzie troche inna wersja kodu.