#include <stdio.h>
#include <float.h>

#define JSDOUBLE_HI32_SIGNBIT   0x80000000
#define JSDOUBLE_HI32_EXPMASK   0x7ff00000
#define JSDOUBLE_HI32_MANTMASK  0x000fffff
#define JSVAL_INT_POW2(n)       ((unsigned long)1 << (n))
#define JSVAL_INT_MAX           (JSVAL_INT_POW2(30) - 1)
#define JSVAL_INT_MIN           ((unsigned long)1 - JSVAL_INT_POW2(30))

typedef unsigned uint32;
typedef uint32   jsuint;
typedef int      jsint;


#define JSDOUBLE_HI32(x)        (((uint32 *)&(x))[1])
#define JSDOUBLE_LO32(x)        (((uint32 *)&(x))[0])

#define JSDOUBLE_IS_NEGZERO(d)  (JSDOUBLE_HI32(d) == JSDOUBLE_HI32_SIGNBIT && \
				 JSDOUBLE_LO32(d) == 0)
#define JSDOUBLE_IS_FINITE(x)                                                 \
    ((JSDOUBLE_HI32(x) & JSDOUBLE_HI32_EXPMASK) != JSDOUBLE_HI32_EXPMASK)

#define JSDOUBLE_IS_INT(d, i) (JSDOUBLE_IS_FINITE(d)                          \
                               && !JSDOUBLE_IS_NEGZERO(d)                     \
			       && ((d) == (i = (jsint)(d))))

#define INT_FITS_IN_JSVAL(i)    ((jsuint)((i)+JSVAL_INT_MAX) <= 2*JSVAL_INT_MAX)


int js_NewNumberValue(void *cx, double d, int *rval)
{
    int i;
#if 1
    if (    JSDOUBLE_IS_INT(d, i)
        &&  INT_FITS_IN_JSVAL(i))
	return 1;
#else
    if (((((unsigned *)&d)[1]) & JSDOUBLE_HI32_EXPMASK) != JSDOUBLE_HI32_EXPMASK )
        if ( !((((unsigned *)&d)[1]) == JSDOUBLE_HI32_SIGNBIT && (((unsigned *)&d)[0]) == 0))
            if (d == (i = (int)d))
                if ((unsigned long)((i)+JSVAL_INT_MAX) <= 2*JSVAL_INT_MAX)
                    return 1;
#endif
    return 0;
}


int main()
{
    double rd1 = 0.0;
    double rd2 = 2.147746133e9;
    double rd3 = 5.147746133e9;
    int l;
    _control87(0x262, 0xFFF);
    js_NewNumberValue(NULL, rd1, &l);
    js_NewNumberValue(NULL, rd2, &l);
    js_NewNumberValue(NULL, rd3, &l);
    return 0;
}