7/20 as a decimal fraction