#include <stdio.h>

/* https://stackoverflow.com/questions/44008357/adding-and-subtracting-exact-values-to-float */
int main(void) {
	float float0 = 1.5f;
	float float1 = 1.5000001f;
	int intbits_of_float0 = *(int *)&float0;
	int intbits_of_float1 = *(int *)&float1;
	
	printf("float %.17g is reinterpreted as an integer %d\n", float0, intbits_of_float0);
	printf("float %.17g is reinterpreted as an integer %d\n", float1, intbits_of_float1);
	
	return 0;
}