I think most restaurants would be happy if you divided the total by 100/15ths, then subtracted from the billed amount when paying as a tip; most multiplication operations terminate before divisions in terms of number of digits in the outcome. More decimals… Read more…