That was a quick fix.

Float valve failed yesterday so called plumber at lunchtime & he came this afternoon! Did consider doing it myself but chickened out. Scary moment when he dropped whole cistern - fortunately just a wee chip on back rim phew!