def int64_as_f64(builder, val):
 assert (val.type == Type.int(64))
 return builder.bitcast(val, Type.double())

def int64_as_f64 ( builder , val ) : assert ( val . type == Type . int ( 64 ) ) return builder . bitcast ( val , Type . double ( ) )
bitcast a 64-bit integer into a double .