Does XC8 have a floating point math library with associated trig functions, etc. ?
yes it does , you can select 24 or 32 bit format floats.
math.lib with sprintf add 9k to a pic16 pgm size .