Constant PROPTEST_CASES 

pub const PROPTEST_CASES: u32 = 1000; // 1_000u32

Cases per proptest property under cargo test (no mpfr-tests required).