-- this one number has strange problems inside library SQRT
-- it works in Fortran and C, Ada get an integer overflow when
-- trying to negate the largest negative integer inside SQRT
with long_float_math_lib;
procedure test_long_float_math_lib is
  y : long_float;
begin
  y := long_float_math_lib.sqrt(0.25000214577181623);
  if y > 0.0 then
    y := y +1.0;
  end if;
end test_long_float_math_lib;