Constant bad64_sys::ENCODING_ENC_FNMUL_D_FLOATDP2[−][src]

pub const ENCODING_ENC_FNMUL_D_FLOATDP2: ENCODING = 587;