Issue #9: Implemented vector conversions from a numeric type to boolean in the instruction-set based VAST exporter