ripplelabs updated their page concerning the xrp-distribution (https://www.ripplelabs.com/xrp-distribution/)
the available supply as of April, 30th 2014 is
7,817,888,647

not a huge change, but anyway you might consider to adjust the value accordingly.