pub fn is_small_u256_parts(u: &UInt256Parts) -> bool