Conversions between signed integers and int64.