added specialized mf16_add_and_scale and mf16_mul_add_scaled