Preserve all floating-point precision when writing out a votable

Mentioned in #1920.