export declare const abs: (this: unknown, x: number) => any;
export declare const at_least: (this: unknown, ...args: number[]) => any;
export declare const at_most: (this: unknown, ...args: number[]) => any;
export declare const ceil: (this: unknown, x: number) => any;
export declare const divided_by: (this: unknown, dividend: number, divisor: number, integerArithmetic?: any) => any;
export declare const floor: (this: unknown, x: number) => any;
export declare const minus: (this: unknown, v: number, arg: number) => any;
export declare const plus: (this: unknown, lhs: number, rhs: number) => any;
export declare const modulo: (this: unknown, v: number, arg: number) => any;
export declare const times: (this: unknown, v: number, arg: number) => any;
export declare function round(v: number, arg?: number): number;
