fhe_mult should work now