Vector operations: adding vectors, casting vectors
Change JSON include to enable amalgamated version