Use bash for simple truncated division