#include "PowerPC_EABI_Support/Msl/MSL_C/MSL_Common/float.h"

unsigned long __float_nan[] = { 0x7FFFFFFF };

unsigned long __float_huge[] = { 0x7F800000 };