Add some instances about truncation of IsTrunc
Merge pull request #398 from JasonGross/istrunc-instances

Add some instances about truncation of IsTrunc