Hot: dividing-decimals