pub fn emit_val_div(trap_msg_ptr: u32, trap_msg_len: u32) -> Function
Emit val_div — with division-by-zero and NaN trap guards.
val_div