10 percent of 9.4000000000 = 0.9400000000000001