use trivial-garbage's weak hash-table interface
use ieee-floats for float64 conversions