I recall either Linus or a major Linux contributor (Alan Cox?) saying that if he had had a math coprocessor, he would have likely just ran BSD.

I don't think even 386BSD existed when Linus started Linux.