How much available IPv4 space does the RIPE NCC have available for allocation?

The amount of space in the RIPE NCC's IPv4 available pool can be seen here.