Bug fix. Truncating zext/sext were causing segfault due to weird template args.