pub const ENCODING_ENC_FDIV_D_FLOATDP2: ENCODING = 460;