That needs try/finally guards in case `int()` raises.