More builtin constants and procedures