ada/util/maths/

Ada definitions of the floating point number type "Real" and 2D vectors and boxes. Ada functions to translate between numbers and their decimal string representations.

The main packages for string conversion:

number_strings

Convert integer numbers to string and back. An instantiation example can be found in integer_strings.

digits_strings

Convert floating point numbers to string and back. An instantiation example can be found in real_strings.