Which decimal is equivalent to 9/20?