pub const ENCODING_ENC_FNMSUB_H_FLOATDP3: ENCODING = 585;