Floating point calculations

Hello

I am trying to execute a floating point calculation with the 8051. Something like:

Result = Val1 * 0.75 + Val2 * 0.25

The C51 compiler can take that no problem, but it takes a long time to execute, would anyone know a smarter and faster way to execute this kind of code.

Thanks a lot.
Laurent