Arduino IDE 1.5.2 .hex file save path?

I'll note that I can see a list of files related to my sketch including a .cpp, .bin, .elf, and a lot more. Is it that there is no .hex generated for the Due and it's the .bin that's used?