Add float64 de/encoding.