Краткое пояснение: Деление на дробь эквивалентно умножению на обратную дробь. Обратная дробь для 0,25 (или 1/4) — это 4.
Если число разделить на 0,25, то это будет эквивалентно умножению этого числа на 4, так как 0,25 = 1/4, а деление на дробь равносильно умножению на обратную дробь.