pub const ENCODING_ENC_FMIN_H_FLOATDP2: ENCODING = 509;