Looks like some of the SSE work in the mathlib directory is unimplemented or unverified in POSIX environments, or else implemented only in C. Not sure how cruci

Looks like some of the SSE work in the mathlib directory is unimplemented or unverified in POSIX environments, or else implemented only in C. Not sure how crucial or not that would be in the big picture of things though. I'm sure it'd be fun to play with, but the license makes it a non-starter for any serious work.