pub const ENCODING_ENC_FNMADD_H_FLOATDP3: ENCODING = 582;