6.3 Ordering of decimals