Searching in tests/ui/numbers-arithmetic