Fix bug: long ranks were 1 too high.
Implement unsigned and long integer literals.

Still need to implement 6.4.4.1p5 in the Coq part.