Test: catch `BitPaddedInt` exception