Integer division in mlab test
Integer division in trirefine