parameters: (ctx=None)
return_statement: return FPSortRef(Z3_mk_fpa_sort_64(ctx.ref()), ctx)
docstring: Floating-point 64-bit (double) sort.
docstring_summary: Floating-point 64-bit (double) sort.
docstring_tokens: Floating - point 64 - bit ( double ) sort .
function: def Float64(ctx=None):
      """Floating-point 64-bit (double) sort."""
      ctx = _get_ctx(ctx)
      return FPSortRef(Z3_mk_fpa_sort_64(ctx.ref()), ctx)
function_tokens: def Float64 ( ctx = None ) : ctx = _get_ctx ( ctx ) return FPSortRef ( Z3_mk_fpa_sort_64 ( ctx . ref ( ) ) , ctx )