f32 f32_add(f32 a, f32 b) { return s32_to_f32( f32_to_s32(a) + f32_to_s32(b) ); }
f32 f32_neg(f32 f) { return s32_to_f32( -f32_to_s32(f) ); }