actually mention that % does (Int, Int) -> Int