Explicitly cast a size_t to double