Refined sliders for numerical preferences

Now saving floats, so min/max/interval can be changed at will
Also now using Android default value (and coping with inability to
resolve references)
Added double tap to reset default value
Fixed typo in key

Also moved two hardcoded key values from MediaPhone class to attrs