Semântico: números reais