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