Add failing test for overflow and fix init bug