#include <u.h>
#include <libc.h>

static char*
tf(int b)
{
	return b ? "true" : "false";
}

void
main(void)
{
	uvlong i1 = 0xffffffffffffffffULL;
	double *f1 = (double*)&i1;
	double f2 = -*f1;
	uvlong i2 = *(uvlong*)&f2;
	print("f1=%f(%#ullx) (< 0: %s), f2=%f(%#ullx) (<0: %s)\n",
		*f1, i1, tf(*f1 < 0), f2, i2, tf(f2 < 0));
}