Function tai_to_unix_seconds 

pub fn tai_to_unix_seconds(tai_seconds: i64) -> i64

The inverse: TAI seconds back to a SmoothUTC/Unix instant. The offset is monotone in UTC, so a first guess (tai − offset(tai)) corrected against offset(guess) converges in one step.