some builtins for arithmetic and string concat