.binarymode mode

This directive specifies the format of the output binary. Mode can be one of the following:

RawPlain, unformatted binary. (Default).bin
IntelIntel hex format..hex
TI73TI-73 binary.73p
TI73AppTI-73 application.hex
TI82TI-82 binary.82p
TI83TI-83 binary.83p
TI8XTI-83+ binary.8xp
TI8XAppTI-83+ application.hex
TI85TI-85 binary.85p
TI86TI-86 binary.86p
SegaMSSega Master System ROM.sms
SegaGGSega Game Gear ROM.gg

The specified extension is only used if you do not explicitely declare an output filename.

Note that the TI8XApp and TI83App modes will also export a .8xk or .73k signed application as well, assuming you have Wappsign installed.