Searching in pkgs/checks/example/math/num