BASIC_ROUTINES

Used .NET classes

• None (Used pure Eiffel code)

Static methods used

• None

Security notes

• None

Unhandled exceptions

• There might be 0-divide exceptions for up_int_div and bottom_int_div