Allow safe x/y = x * (1.0/y) for exact 1.0/y even if floating point constant folding...