[Typing-sig] Re: Support for type checking fixed width integers