They have reserved a /10 for the post-depletion phase, "to ease the transition to ipv6". I've no idea how they will be handing out IPs from this last /10. It's not like suddenly there will be IPv4 shortage. Big companies are buying big IP blocks even now, not getting those directly from ARIN.