Arithmetic for Large-Characteristic Finite Fields in CKKS | AIChainDay