What is 5 7/20 written as a decimal?