Personally I think that protocol description languages should support uint63 and int53 natively. Uint63 can be promoted to whatever is the largest native integ

Personally I think that protocol description languages should support uint63 and int53 natively. Uint63 can be promoted to whatever is the largest native integer type on most systems, and int53 fits into a JavaScript number. It would be useful to have explicit checks for these values on the protocol level.