[MonetDB-users] Converts the value of the specified 16-bit signed integer to an equivalent double-precision floating point number.