Add the ieee754() SQL function that interprets a blob as a big-endian double.
Arrange for the quote() SQL function to emit ieee754() functions in its output
so that floating-point values in the database are exactly preserved by a
".dump" command in the shell.