% built-in function mtimes implemented for class int8