Fix comparison return values and implement Integer truncation
Fix comparison return values and implement Integer truncation

idris-hackers/idris-llvm,melted/idris-llvm,melted/idris-llvm,idris-hackers/idris-llvm