nix-repl> 1+3
4

nix-repl> 7-4
3

nix-repl> 3*2
6