what is the value of 5 in 7.256? ​