I'm surprised that this isn't a bigger deal. Most people won't specify a type and use whatever the default is.

I think this varies by os.