Listing will occur before division.
In your examples, it doesn't matter which one you do, as if one operand were double, the runtime also converts the other to double.
It looks like micro-optimization - no need to worry or deal if measurements do not show that this is really a bottleneck.
Odded
source share