Added SoftFloat libraries