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);