#include <stdio.h>
#include <stdlib.h>

int main (int argc, char *argv[])
{
	float i = 355.0f / 113.0f;

	printf("%08X\n", i); // expected 40490FDC (IEEE-754 representation)
	                     // got 80000000

	exit(EXIT_SUCCESS);
}