Write a 64-bit double

Usage

tcc_write_f64(ptr, offset, value)

Arguments

ptr: External pointer
offset: Byte offset
value: Integer value to write