Thorup, Mikkel Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Thorup, M. (2000). Floats, Integers, and Single Source Shortest Paths. Journal of Algorithms, 35, 189-201.