In a saved search formula, is there a way to force at least one number after the decimal point? For example, 5 should be 5.0 while 10.25 remains 10.25

Yes, but you need to decide how many decimal points that you want, if you decide two decimals, then "5" will be "5.00" ROUND({decimalVariable}, 2)

I don't actually mean to round them off. I just need all the numbers to have at least one decimal place. 1.0 but not 1 1.11 is ok 1.256 is ok, etc