Use WireFormatLite floating point encoding