Trigonometry · Superchallenge problem

Triangle $ABC$ has a right angle at $C$. Its incircle has centre $I$ and radius $4$, and $\tan\angle IBA = \dfrac12$. Find the area of triangle $ABC$.