module CBOR_DIAG::Fnumber3