Radice quadrata di 13 sulla semiretta numerica