Hard float libraries