Add float encoding