Infer 'Int's as 'Num's