pub const ENCODING_ENC_FNMADD_D_FLOATDP3: ENCODING = 581;