As part of #117 I have not properly added `VARINT` to the types that are properly tested. It would be handy to bring it back to the set of proper types, adding expected results.