Скидка по сумме чека

Магазин даёт скидку в зависимости от суммы покупки:

• меньше 1000 рублей — скидки нет;
• от 1000 до 4999 — скидка 5 процентов;
• от 5000 до 9999 — скидка 10 процентов;
• от 10000 — скидка 15 процентов.

Сколько придётся заплатить? Ответ может быть дробным.

Одно целое число — сумма покупки от $0$ до $10^6$.

Одно вещественное число с точностью не хуже $10^{-4}$.