simple float test

float_test.c

#include <stdio.h>
#include <stdint.h>

int
main (void) {
  float a = 1.0;
  float b = 2.0;
  float c = a + b;

  fprintf(stderr, "sizeof(float): %d\n", sizeof(float));

  fprintf(stderr, "0x%x (%f) + 0x%x (%f) = 0x%x (%f)\n", 
    *(uint32_t *)&a, a,
    *(uint32_t *)&b, b,
    *(uint32_t *)&c, c
  );

  return 0;
}

$ ./float_test
sizeof(float): 4
0x3f800000 (1.000000) + 0x40000000 (2.000000) = 0x40400000 (3.000000)