BuiltinFunctions addition