Scm_WriteBinaryDouble 73 ext/binary/binary.h extern void Scm_WriteBinaryDouble(ScmObj val, ScmObj port, Endian endian); Scm_WriteBinaryDouble 731 ext/binary/binarylib.c Scm_WriteBinaryDouble(val, port, endian);