New: decimal-introduction