inferring thing.given
numbers as digits, testTranslate1 passes