Update TAIInstant

A cast is safe here