Reverse digits of an integer