you can write the right hand side as `integer(-1)`