var my_infinity = infinity.INFINTY;
var ret_val = infinity.use_infinity(my_infinity);