Constant phper_sys::_FPU_DOUBLE[][src]

pub const _FPU_DOUBLE: u32 = 512;