Add float conversion to stl