Hot: decimal-introduction