Determinant of an integer matrix is float