Как разделить обычное число на десятичное?

Что значит десятичное число? Если это десятичная дробь, то например разделим число 23 на 1,3. 
23/1.3=23/ (1 3/10) = (23/1) / (13/10)= 23/13*10=2.3/13*10=17,69