jquery-mobile slider does not support "step" attribute

jquery-mobile slider does not support "step" attribute

Are there any plans to support the "step" attribute for the slider control? For example, to record swimming pool water pH, I want a slider that goes from 6.0 to 9.0, with steps of 0.1.

The min and max attributes are supported, but the jquery-mobile code is using a percentage scale from 0 to 100, and ignores the "step" attribute. Also, the number in the accompanying text box only uses integers.