Added formatter for mastercoin smart properties, that assumes they're all indivisible.