--
--  Copyright (C) 2022-2024, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

with Ada.Numerics.Big_Numbers.Big_Reals;

package SPARK.Big_Reals renames Ada.Numerics.Big_Numbers.Big_Reals;