let
xk_topintegral = 0x8a4