FLOAT64_MANGLE
return FLOAT64_MANGLE( ( ( (bits64) zSign )<<63 ) +
#ifndef FLOAT64_MANGLE
return FLOAT64_MANGLE( ( ( (bits64) zSign )<<63 ) +
return FLOAT64_MANGLE(
#ifndef FLOAT64_MANGLE
return a ^ FLOAT64_MANGLE(0x8000000000000000ULL);
a.high ^= FLOAT64_MANGLE(0x8000000000000000ULL);