RE: dotted AS numbers in asn.txt

since when does ftp://ftp.arin.net/info/asn.txt contain dotted AS numbers?

32 bit ASNs

Where is the new formatting documented, asn.h ?

many locations, arin for instance talks about it here: http://www.arin.net/policy/nrpm.html#five1 -- --tariq