protobufs:int64_float64

Reinterpret-cast between uint64 and float64. For example, int64_float64(3ff0000000000000,1.0).

This predicate delays until either Int64 or Float64 is sufficiently instantiated.

There is also a non-delayed uint64_int64/2

Arguments:

`Int64`	- 64-bit unsigned integer
`Float64`	- 64-bit float

Errors

- Type,Domain if Value or Codes are of the wrong type or out of range.

- instantiation error if both Value and Codes are uninstantiated.