Added multilib support to SAT. Now floatingpoint support should work and we should...