floating: Export the toFloating function from Data.Floating.