Add float32 encoder.