post-comp 2014.1.c.b: added *% operator

Added a *% operator to perform a multiplication followed by taking
remainder modulo 1000000007