double i64d ( ) {
    __int64 x = 123435;
    return (double)x;
}