Start of real-valued sliders
Slider get_value now returns a float
Merge pull request #51 from rsrock/rsr/slider

Real-valued sliders