It is complete bull to claim that loading and saving the FPU state makes a piece of code inherently derivative of GPL code such that it must itself be GPL. Calling that bluff may draw ire but it is not scummy.