Rudy's Big Numbers Library v3.14

Rudy Velthuis is the orignal author of this library. He unfortunately passed away a while back.