select max(ktuxescnw * power(2, 32) + ktuxescnb) from x$ktuxe;

it works.

thank you kris!

-Raja