[MIG] Migration of account_renumber to 8.0.

The other form is also correct.