Add more refinements to DoubleMachReflection.