switching from floats to doubles in pagerank and sssp
merged with trunk