#include <stdio.h>
#include "../lib/ieee754.h"

static double values[] = { -17.23, 17.23, 123.4567, 98765.4321, 0.0 };

int main(int argc, char *argv[])
{
	uint64_t i;
	double f;
	int j;

	j = 0;
	do {
		i = fio_double_to_uint64(values[j]);
		f = fio_uint64_to_double(i);
		printf("%f -> %f\n", values[j], f);
		j++;
	} while (values[j] != 0.0);

	return 0;
}