Adding a syntax test inserting a top-level identifier also referenced by a macro template.
Fixing bug in subtraction of a ratio with a bignum numerator.
Shortcut for general quotient/remainder with a denominator of 1.