" I now have to say that I cannot rightly recall if the actual Keil C51 compiler can reduce carefully crafted floating point arithmetic expressions to simply integer expressions for run time use. To determine if it can or to see if such expressions automatically force inclusion of floating point library would require futher testing on my part."

Let me save you the trouble - C51 does handle these expressions correctly and they do not force inclusion of the floating point library.