Decimals

We start decimals on Wednesday.