what is 19/20 as a decimal?