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