Another redundant secp256k1_fe_normalize