Add a test.
Pick different XRP assignments correctly.
Account for non-integer invariants.