Ben: The topic of FPU usage in OSS is discussed at length throughout the comments here: http://insanecoding.blogspot.com/2009/06/state-of-sound-in-linux-not-so-sorry.html
Based on what Hannu the main developer of OSS says, what OSS is doing currently is safe, despite how it may look otherwise. OSS is designed to internally save the current state of the FPU and restore it itself within a single use, and works properly with current versions of Linux. Disabling CONFIG_OSS_VMIX_FLOAT would slightly worsen audio quality in some cases. I understand your paranoia of not wanting to do things which go against the standard way of doing things. However in this case it seems to be trying to fix what isn't broken. For people that are paranoid, or worried about future versions of Linux breaking something, perhaps Debian should offer an alternate package with CONFIG_OSS_VMIX_FLOAT disabled.
