Cómo convertir 64 a 32 bits