de-jankifying rounding on percent_funded()