HomeIsabelle/Phabricator

Improve encoding of non-address immediate constants.