FPU_INT

Constant FPU_INT 

Source
pub const FPU_INT: u32 = 4;