MAXで取得するならSERIALIZABLEが必要だと思うなぁ。
カウンタ型なんてものを使わずに、素直にSEQUENCEを
使ったほうがすっきりすると思うよ。