pub fn check_jcs_safe(n: u64) -> Result<u64, CoreError>
Validate that n is exactly representable in a JCS number.
n