double a = computeA(); float b = computeB(); double mix = normalize(a) + normalize(b); return finalize(normalize(mix)); fpre005 patched is a reminder that in numeric code, “small” differences matter. Deterministic rounding and a single source of truth for conversions prevent elusive bugs that evade common testing strategies. This patch is a tidy, low-risk change that improves correctness, reproducibility, and developer clarity — a good example of the principle that robustness often comes from enforcing simple, consistent invariants.