The text e4b04ae13185, as Debian 10 (Buster) shipped it.
bson_append_double()
bson_append_double(3) on Linux now
