Fpre005: Patched

double a = computeA(); // returns double float b = computeB(); // returns float double mix = a + b; // implicit cast, different rounding paths possible return finalize(mix); After: