Changing the default 32-bit x86 arch for Fedora 12

[Peter Robinson]

> Gregory Maxwell (gmaxwell at gmail.com) said:
>> I doubt having consistently lower FP precision is anything many users
>> are asking for. The few that do can usually take care of themselves.
>
> And yet you say we should push them all to x86_64, which has
> the same lower precision?
>
>> > - More clearly delineates our support set of targets, sticking true
>> >  to forwards innovation, not necessarily legacy support
>>
>> If thats the case why maintain x86 at all?
>
> Because it's 58% of our userbase (source: F11 torrent stats.)

How much of that 58% is actually 64 bit machines running the 32 bit OS?

Peter