[COMMIT] Make % behave more consistently with varying signs, bignums