Hot: decimals-introduction