Qual é a raiz quadrada de 128?