Demonstrate extracting numerator & denominator under -1-truncation