Perform a product modulo _n_. BigN BigMuln ( BigN _x_ BigN _y_ BigN _n_ )
_x_ any big number _y_ any big number _n_ any big number
_x_*_y_ modulo _n_