Чтобы разделить десятичные дроби, можно умножить делимое и делитель на 10, чтобы избавиться от десятичной запятой в делителе.
3,5 : 0,7 = 35 : 7 = 5