Raw floating point encoding Raw floating point encoding python python