If its not one thing, its another

Sometimes I think I try to make my solutions to problems more elegant than needed. I encountered another hurdle in my quest, which sent me on a short detour. I will wait to share the problem, but I've attached a demonstration of the solution.

A demonstration of how to find the power of two that is less than or equal to the supplied value.
(leq_pot.adb)
with Ada.Numerics.Elementary_Functions; with Ada.Text_IO; -- Alex "ahab" Habeger -- Demonstration of how to find the closest power of two -- that is less than or equal to a number. procedure LEQ_POT is Result : Float; begin -- the power of two that will be tested for Power in 1..10 loop -- an offset to illustrate boundaries for Offset in -1..1 loop Result := Ada.Numerics.Elementary_Functions.Log( Base => Float (2), X => Float (2 ** Power + Offset)); Ada.Text_IO.Put (Integer'Image(2**(Integer(Float'Floor(Result))))); Ada.Text_IO.Put_Line (Integer'Image(2 ** Power + Offset)); end loop; Ada.Text_IO.Put_Line ("------"); end loop; end LEQ_POT;
Not an exciting program, but reminds me of some of those groaner homeworks that I've had before.