Make use of doubles in vectors instead of ints