pub fn div(a: Val, b: Val) -> Val
Division by zero is null rather than an error: a rule never panics a write.