int ret = _fpclass( x);
return (ret == _FPCLASS_NN || ret == _FPCLASS_PN);
}
+#else
+#include <stdint.h>
#endif
-typedef unsigned int uintptr_t;
-
// fix file names to use '/' instead of ':'
char* ConvertFileName( const char* orgfilename, const char *mode = "rb" );