double in main