I'm trying to edit a smali file in smali itself. I do however have the corresponding java file.

I'm trying to figure out why a 15.0F in java is 0x4170 in smali? Isn't 0x4170 in decimal = 16752?
I'm trying to edit a smali file in smali itself. I do however have the corresponding java file.

I'm trying to figure out why a 15.0F in java is 0x4170 in smali? Isn't 0x4170 in decimal = 16752?
Yes. See http://babbage.cs.qc.cuny.edu/IEEE-754.old/Decimal.html
15.0f = 0x41700000 as a 32-bit IEEE-754 floating point number. The value 0x4170 would seem to imply 16-bit floats, which wouldn't have enough precision to be useful.
For completeness, 15.0d (64-bit float) is 0x402E000000000000.