Hot: decimal-division