* Proper digit formatting for passcode redemptions
* Add redeeming example used in pull request comments to json_examples/redeeming.js