Some mathematical C libraries using on fastlane-db