Constant FPU_MAX_RESTORES_SINCE_SWITCH

pub const FPU_MAX_RESTORES_SINCE_SWITCH: &str = "64";