cuál es la mitad de 22,3 y el doble?