Changed Min-Region-Size To Always Be An Integer
Changed Min-Region-Size To Always Be An Integer

Changed a division to a quotient in calculating min-region-size for
multivariate arguments, so that we don't get crashes.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie