////////////////////////////////////////////////////////////////// Return an ExactFloat equal to positive zero (if sign >= 0) or negative zero (if sign < 0).
See Implementation
////////////////////////////////////////////////////////////////// Return an ExactFloat equal to positive zero (if sign >= 0) or negative zero (if sign < 0).