Qual a metade de 4¹⁰⁰ ?​