pub const ENCODING_ENC_FRINTZ_H_FLOATDP1: ENCODING = 643;