Writes a 64-bit double to a file. Takes a file handle and a 64-bit double-precision floating-point value. Returns nothing (void).
fileHandle
Int
value
Double
; No example implemented yet