How do you write 17/20 as a decimal?