I’ve submitted a ticket and will update this post with their response.
Seems like it shouldvalidate, at least according to the <input type=range> spec. Per https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input/range:
By default, the granularity, is 1, meaning that the value is always an integer. You can change the step attribute to control the granularity. For example, If you need a value between 5 and 10, accurate to two decimal places, you should set the value of step to 0.01
