What is the value of the digit 7 in 3.72?