cual seria el doble de un numero