...
The LDRA tool suite V 7.6.0 is able to detect violations of this rule.
The tool Compass/ROSE could easily can detect violations of this rule. Any assignment operation where the type of the assigned-to value is float or double, but all the expressions to the right of the assignment are integral is a violation of this rule.
...