Semi reproducing kernel hilbert spaces and mixed precision computation.