Constant checked_isqrt 

pub const checked_isqrt: Symbol;