Symbol: ED448_BITS