Searching in libgrust/rustc-lib/core/src/num