Use more readable float literals.

Addresses review comment from @pcwalton.