Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/floatbits/./tests/lean/intModBug.lean.expected.out
blob: a4a9b7bae0bb3b67ea3686f86b34ffa27525c6f6 [file] [edit]
Int.ofNat 10
Int.negSucc 9
10
-10
Int.ofNat 10000000000000000000000000000000000
Int.negSucc 9999999999999999999999999999999999
10000000000000000000000000000000000
-10000000000000000000000000000000000