r1679: Fix read-double-from-socket-bug