Remove 'arbitrarily precise' distinction.