RE: 32-bit AS numbers