let get_signed_min sz =
  assert(sz <= 64);
  let min64 = Int64.min_int
  and shift_value = 64 - sz in
    if shift_value > 0
    then Int64.shift_right min64 shift_value
    else min64