# test constant optimisation, with consts that are bignumsfrommicropythonimportconst# check we can make consts from bignumsZ1=const(0xFFFFFFFF)Z2=const(0xFFFFFFFFFFFFFFFF)print(hex(Z1),hex(Z2))# check arithmetic with bignumZ3=const(Z1+Z2)Z4=const((1<<100)+Z1)print(hex(Z3),hex(Z4))