What is the format of a 32-bit ASN?

As of 25 March 2009, RIPE NCC services reference AS Numbers in ASPLAIN format. This is in line with RFC 5396, published in December 2008.