Double extension Double: FloatingSort getSort(_:) Returns a 64-bit FloatingPoint sort. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort