pub const RT_VAL_DIV: u32 = 19;
val_div(a: i32, b: i32) -> i32 — traps on /0 and NaN
val_div(a: i32, b: i32) -> i32