ankidroid/Anki-Android — pull request #559 by timrae (2014-10-21 08:18:17+00:00)
Title: Fix crash on database check dialog

`shrunk` is already getting rounded, we should show an `int` here