Update examples
Fix dispatcher
Add missing math attributes and array attributes
Fix signed int divide-by-zero handling