This is because ABI requires doubles to be passed via SSE registers. The problem was found in the FreeBSD port devel/vc while running tests.