pub const ENCODING_ENC_FCMP_DZ_FLOATCMP: ENCODING = 325;