_cbor_double_helper
((union _cbor_double_helper){.as_double = value}).as_uint, buffer,
union _cbor_double_helper helper = {.as_uint = _cbor_load_uint64(source)};