[dev] Replacing old finite() calls in vector.h.