nix-repl> 1+3
4
nix-repl> builtins.div 6 3
2