Write value as a 64-bit float (double) in memory.
value
Same as:
memory.put_double(0, value)
Parameters:
Returns: