Switching vector-dot-product example to use double for the intermediate results