Is there an easy way to include an integer in a revert message?