Generalise DefaultSafetyMargin.