Searching in test cases/common/64 number arithmetic