Люди это странно, но всё же как решить этот пример в столбик 519,4: 0,1254

Если делимое и делитель умножить (разделить) на одно и то же, отличное от нуля, число, то результат не изменится.
В данном случае удобно произвести умножение на 10000. Получим:
5194000 : 1254 ну и дальше, как обычно..))