Fix delta coding.  Add float64 encoder.