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

#include <math.h>

double ldexp(double x, int n)
{
	return scalbn(x, n);
}