What is a shortcut for writing a percent as a decimal?