Приведение произойдет до деления.
В ваших примерах не имеет значения, какой вы делаете, как если бы один операнд был двойным, среда выполнения также приведёт / преобразует другой в двойное число.
Это похоже на микрооптимизацию - не то, о чем стоит беспокоиться или иметь дело, если только измерения не показывают, что это действительно узкое место.