So the display should indicate 17.5C as its over the threshold to call for heat.
So really the rounding applied when you change the setpoint should be applied to the temperature displayed.
So basically I should tell my wife to turn the temperature up by 1.0C to get a radiator to heat up.