Cast Integer to Double

fp = float.v2d(iv)

Convert/cast 64-bit IEEE-754 value to double precision floating point.