@pinskia I mean yeah, it's unfortunate. It's the only (remaining) ABI issue for f16 in rust.