add test case for badge number casting bug