{- The CBOR for this is an (oversized) double-precision number. It could have been stored as single- (or even half-) precision, but we require decoders to accept it anyway. -} 2.0