core::integer::u128_sqrt

pub extern fn u128_sqrt(value: u128) -> u64 implicits(RangeCheck) nopanic;