Convert the double-precision floating point value x to a single-precision floating point value in round-up (to positive infinity) mode.
x