for n being Nat
for M being Matrix of n,F_Real st M is Matrix of n,INT holds
Det M in INT