Correct rounding, improve FastRandom, and fix style and documentation