Relief for IRFC investors as share price zooms 7% to all-time high