How do I double timeval in C?

Question

I have the following situation.

#include 

struct timeval t ={1, 10000}; 

while(1){
    //some code to use timeval 
    Here I need to double t