Function patch_seq_float_to_bytes_f32_be 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_float_to_bytes_f32_be(
    stack: Stack,
) -> Stack

Convert Float to 4-byte big-endian f32 String: ( Float – String )

Precision-converts the f64 to f32 via as f32, then emits the IEEE-754 binary32 big-endian bytes. NaN/Infinity round-trip through the standard IEEE-754 encoding.

Safety

Stack must have a Float value on top.