pub const ENCODING_ENC_FCMPE_DZ_FLOATCMP: ENCODING = 319;