80 percent of 7.888 = 6.3104000000000005