#if !__ARM_ARCH_ISA_ARM && __ARM_ARCH_ISA_THUMB == 1
#include "soft-fp/fixdfsi.c"
#endif