In effetti questo frammento di codice stampa a video 0...

codice:
int main (void) {
        double a = 12.3;
        double b = 3.4;
        printf ("%d\n", (a + b == 15.7));
        return 0;
}