type(f32 * 0.5)
