Странное округление до определённого знака в Python

Есть вот такой кусок кода:

print(f"Время выполенния кода - {round(time, 4)}")

Раньше я делал именно так, но на форуме мне подсказали следующий способ округления:

 print(f"Время выполенния кода - {time:.4f}")

Что за странный метод? Не могу нигде найти информацию о нём, везде пишут про round и прочее, но про этот не упоминают. Как это работает? Примерно понимаю, что флоаты и кол-во после запятой, но хотелось бы почитать об этом документацию какую-то или туториал на край