class Math {

    /** Initializes the library. */
    function void init() {
        return Math_orig.init();
    }

    /** Returns the absolute value of x. */
    function int abs(int x) {
        return Math_orig.abs(x);
    }

    /** Returns the product of x and y. */
    function int multiply(int x, int y) {
        return Math_orig.multiply(x,y);
    }

    /** Returns the integer part of x/y. */
    function int divide(int x, int y) {
        return Math_orig.divide(x,y);
    }

    /** Returns the integer part of the square root of x. */
    function int sqrt(int x) {
        return Math_orig.sqrt(x);
    }

    /** Returns the greater number. */
    function int max(int a, int b) {
        return Math_orig.max(a,b);
    }

    /** Returns the smaller number. */
    function int min(int a, int b) {
        return Math_orig.min(a,b);
    }
}