Constant phper_sys::_FPU_DOUBLE

source · 
pub const _FPU_DOUBLE: u32 = 512;