Arduino/esp8266/micropython/lib/libm_dbl/__signbit.c

#include "libm.h"

int __signbitd(double x)
{
	union {
		double d;
		uint64_t i;
	} y = { x };
	return y.i>>63;
}