gh-71810: fix corner case (length==0) for int.to_bytes()

gh-71810: fix corner case (length==0) for int.to_bytes() #89952