{script
  LAMBDATALK.DICT['BN.*'] = function(){
    var args = arguments[0].split(' '),
           a = new BigNumber( args[0], BN_DEC ),
           b = new BigNumber( args[1], BN_DEC );
    return a.multiply( b )
  };