#include "../x86/ldbl2mpn.c"