Guideline for dividing two named integers

What is the recommended way of avoiding truncation of the decimal part of the result in the following example?

int a = 3;
int b = 2;
double c = a / b; // c == 1

Is any of those:

double c1 = static_cast<double>(a) / b;
double c2 = double(a) / b;
double c3 = (a + 0.0) / b;

preferred over the others ?

Having the official recommendation would be useful, as there are still many suggestions to use the C-style casting, i.e.: c=(double)a/b; available.

The issue body is the only entry point provided and names no file or test. Start by locating existing guidance on integer division and casts, then compare the listed C++ alternatives with the project's current recommendations. Done means recording an agreed recommendation and updating the appropriate guideline with supporting examples.