3 1 5 as a decimal