Fans of Roger Federer can breathe a sigh of relief: he will play on until at least the end of 2019.