Value: allocate enough limbs for bitwise xor result

Value: allocate enough limbs for bitwise xor result #1702