[math-fun] Integer determinant question