Source string

  • The maximum allowed value for the jQuery range slider. It can be positive, negative, or zero and have up to 11 decimal places.

Used at the following places

  • better_exposed_filters: 1.x-3.4.1 (1)