How do you write #13/25# as a decimal?