[STATEMENT]
lemma of_int_sint [simp]:
  \<open>of_int (sint a) = signed a\<close>
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. of_int (sint a) = signed a
[PROOF STEP]
by transfer (simp_all add: take_bit_signed_take_bit)