pub fn num(v: i32) -> RascalValue