I propose to make @mulAdd more like the rest of the math operators built into the language, such as +. This would use Peer Type Resolution to chose a type, just like if you did a + b (except there are 3 values instead of 2).
I see no reason to limit this to floats; it should work just fine for integers too. This will make it more friendly in generic code.