Function div 

pub fn div(left: &Value, right: &Value, line: u32) -> Result<Value, BopError>

/ always returns a Number, even for Int / Int. Matches Python’s / and sidesteps the “1 / 2 == 0” surprise.