I got misled by the 'TF tenths of a degree' comment in the calculation, assumed Fahrenheit temperature then re-read it as wanting voltage, hence sought clarification.
There's also the two-part nature of the calculations; obtaining a reading, scaling then converting to display format. Whether multiplied by 2.5 or 4, as BeanieBots says, multiply by 25 ( or 40 ) then divide by 10. That gives the integer (whole) part of the value, multiply by 25 ( or 40 ) then modulo 10 gives the 'after the decimal point' digit.
ReadAdc VOLT_PIN, b0
vWhole = b0 * 25 * 5 / 255 / 10
vTenths = b0 * 25 * 5 / 255 // 10
ReadAdc VOLT_PIN, b0
vWhole = b0 * 25 / 51 / 10
vTenths = b0 * 25 / 51 // 10
You can get better resolution with READADC10 -
ReadAdc10 VOLT_PIN, w0
vWhole = w0 * 25 * 5 / 1023 / 10
vTenths = w0 * 25 * 5 / 1023 // 10
But then you have to adjust the calculations to avoid overflow, intermediate results being greater than 16-bit.
Added : This assumes an exact 5V reference. If something else the equations will change.