[][src]Constant CCODE::NUMPRS_THOUSANDS

pub const NUMPRS_THOUSANDS: u32 = 512;