Estoy tratando de obtener el radio de un elemento svg de círculo, pero aparece un error en el código vs:

código real:

 const circle = document.getElementById('progress_circle'); const radius = circle.r.baseVal.value;

error:

 Property 'r' does not exist on type 'HTMLElement'.js(2339)

Estoy usando código svelte, ts y vs y también soy un novato en desarrollo web .