What is a decimal?