pub const ENCODING_ENC_FNEG_D_FLOATDP1: ENCODING = 576;