Use scientific notation for printing doubles.

Because people using doubles probably care about
more extreme ranges than people using floats.