un-inline scale, assert non-zero denominators