add 64 bit integer support for bvpagerank.cc