[fix] stdlib:  Fix empty string returned for zero in Int.to_hex.