Jeg har alltid lurt på hvor mye Mad Fish-beskyttelsen på Hinkley Point C koster – det viser seg å være 700 millioner pund.