[stdlib] Implement Int.from_bytes() and Int.as_bytes()

[stdlib] Implement Int.from_bytes() and Int.as_bytes() #2372